論理へのアプローチ 2.命題とは